(0
 (
  ("(x 1)" 3 23)
  ("(x 2)" 23 29)
  ("(x 3)" 29 33)
  ("(x 4)" 33 37)
  ("(x 5)" 37 44)
  ("(x 6)" 44 68)
  ("(x 5)" 68 73)
  ("(x 4)" 73 77)
  ("(x 3)" 77 85)
  ("(x 2)" 85 97)
  ("(x down)" 4 56)
  ("(x stable)" 56 57)
  ("(x up)" 57 97)
  ("(y 1)" 3 34)
  ("(y 2)" 34 45)
  ("(y 3)" 45 51)
  ("(y 4)" 51 58)
  ("(y 5)" 58 69)
  ("(y 6)" 69 97)
  ("(y up)" 4 19)
  ("(y stable)" 19 24)
  ("(y down)" 24 97)
 ))
(1
 (
  ("(x 2)" 3 27)
  ("(x 3)" 27 34)
  ("(x 4)" 34 41)
  ("(x 5)" 41 50)
  ("(x 6)" 50 75)
  ("(x 5)" 75 79)
  ("(x 4)" 79 81)
  ("(x 3)" 81 83)
  ("(x 2)" 83 87)
  ("(x 1)" 87 104)
  ("(x stable)" 4 15)
  ("(x down)" 15 65)
  ("(x stable)" 65 66)
  ("(x up)" 66 97)
  ("(x stable)" 97 100)
  ("(x up)" 100 104)
  ("(y 1)" 3 39)
  ("(y 2)" 39 52)
  ("(y 3)" 52 59)
  ("(y 4)" 59 63)
  ("(y 5)" 63 70)
  ("(y 6)" 70 104)
  ("(y stable)" 4 17)
  ("(y up)" 17 24)
  ("(y stable)" 24 34)
  ("(y down)" 34 80)
  ("(y stable)" 80 82)
  ("(y up)" 82 95)
  ("(y stable)" 95 98)
  ("(y up)" 98 104)
 ))
(2
 (
  ("(x 2)" 3 20)
  ("(x 3)" 20 25)
  ("(x 4)" 25 30)
  ("(x 5)" 30 36)
  ("(x 6)" 36 56)
  ("(x 5)" 56 60)
  ("(x 4)" 60 62)
  ("(x 3)" 62 64)
  ("(x 2)" 64 66)
  ("(x 1)" 66 78)
  ("(x up)" 4 6)
  ("(x stable)" 6 7)
  ("(x down)" 7 47)
  ("(x stable)" 47 48)
  ("(x up)" 48 78)
  ("(y 2)" 3 7)
  ("(y 1)" 7 28)
  ("(y 2)" 28 38)
  ("(y 3)" 38 43)
  ("(y 4)" 43 48)
  ("(y 5)" 48 54)
  ("(y 6)" 54 78)
  ("(y up)" 4 19)
  ("(y stable)" 19 21)
  ("(y down)" 21 63)
  ("(y stable)" 63 64)
  ("(y up)" 64 74)
  ("(y stable)" 74 76)
  ("(y down)" 76 78)
 ))
(3
 (
  ("(x 1)" 3 10)
  ("(x 2)" 10 15)
  ("(x 3)" 15 18)
  ("(x 4)" 18 22)
  ("(x 5)" 22 27)
  ("(x 6)" 27 43)
  ("(x 5)" 43 46)
  ("(x 4)" 46 49)
  ("(x 3)" 49 52)
  ("(x 2)" 52 56)
  ("(x 1)" 56 65)
  ("(x down)" 4 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 65)
  ("(y 1)" 3 22)
  ("(y 2)" 22 29)
  ("(y 3)" 29 33)
  ("(y 4)" 33 38)
  ("(y 5)" 38 44)
  ("(y 6)" 44 61)
  ("(y 5)" 61 65)
  ("(y up)" 4 11)
  ("(y stable)" 11 12)
  ("(y down)" 12 52)
  ("(y stable)" 52 53)
  ("(y up)" 53 65)
 ))
(4
 (
  ("(x 2)" 3 14)
  ("(x 3)" 14 19)
  ("(x 4)" 19 24)
  ("(x 5)" 24 32)
  ("(x 6)" 32 49)
  ("(x 5)" 49 53)
  ("(x 4)" 53 56)
  ("(x 3)" 56 59)
  ("(x 2)" 59 62)
  ("(x 1)" 62 75)
  ("(x down)" 4 43)
  ("(x up)" 43 73)
  ("(x stable)" 73 75)
  ("(y 2)" 3 5)
  ("(y 1)" 5 28)
  ("(y 2)" 28 36)
  ("(y 3)" 36 40)
  ("(y 4)" 40 44)
  ("(y 5)" 44 50)
  ("(y 6)" 50 73)
  ("(y 5)" 73 75)
  ("(y up)" 4 15)
  ("(y stable)" 15 19)
  ("(y down)" 19 58)
  ("(y stable)" 58 59)
  ("(y up)" 59 75)
 ))
(5
 (
  ("(x 1)" 3 7)
  ("(x 2)" 7 15)
  ("(x 3)" 15 21)
  ("(x 4)" 21 26)
  ("(x 5)" 26 30)
  ("(x 6)" 30 48)
  ("(x 5)" 48 51)
  ("(x 4)" 51 54)
  ("(x 3)" 54 57)
  ("(x 2)" 57 61)
  ("(x 1)" 61 72)
  ("(x down)" 4 41)
  ("(x up)" 41 72)
  ("(y 1)" 3 27)
  ("(y 2)" 27 33)
  ("(y 3)" 33 37)
  ("(y 4)" 37 40)
  ("(y 5)" 40 46)
  ("(y 6)" 46 63)
  ("(y 5)" 63 72)
  ("(y up)" 4 14)
  ("(y stable)" 14 20)
  ("(y down)" 20 54)
  ("(y stable)" 54 55)
  ("(y up)" 55 68)
  ("(y stable)" 68 72)
 ))
(6
 (
  ("(x 1)" 3 6)
  ("(x 2)" 6 16)
  ("(x 3)" 16 20)
  ("(x 4)" 20 24)
  ("(x 5)" 24 29)
  ("(x 6)" 29 47)
  ("(x 5)" 47 51)
  ("(x 4)" 51 54)
  ("(x 3)" 54 57)
  ("(x 2)" 57 62)
  ("(x 1)" 62 75)
  ("(x down)" 4 38)
  ("(x up)" 38 73)
  ("(x stable)" 73 75)
  ("(y 1)" 3 25)
  ("(y 2)" 25 31)
  ("(y 3)" 31 35)
  ("(y 4)" 35 41)
  ("(y 5)" 41 50)
  ("(y 6)" 50 68)
  ("(y 5)" 68 75)
  ("(y up)" 4 11)
  ("(y stable)" 11 15)
  ("(y down)" 15 56)
  ("(y up)" 56 70)
  ("(y stable)" 70 74)
  ("(y down)" 74 75)
 ))
(7
 (
  ("(x 1)" 3 5)
  ("(x 2)" 5 23)
  ("(x 3)" 23 30)
  ("(x 4)" 30 36)
  ("(x 5)" 36 44)
  ("(x 6)" 44 67)
  ("(x 5)" 67 69)
  ("(x 4)" 69 71)
  ("(x 3)" 71 74)
  ("(x 2)" 74 78)
  ("(x 1)" 78 94)
  ("(x stable)" 4 5)
  ("(x down)" 5 57)
  ("(x stable)" 57 59)
  ("(x up)" 59 85)
  ("(x stable)" 85 92)
  ("(x up)" 92 94)
  ("(y 2)" 3 10)
  ("(y 1)" 10 36)
  ("(y 2)" 36 47)
  ("(y 3)" 47 52)
  ("(y 4)" 52 57)
  ("(y 5)" 57 64)
  ("(y 6)" 64 94)
  ("(y up)" 4 8)
  ("(y stable)" 8 9)
  ("(y up)" 9 16)
  ("(y stable)" 16 21)
  ("(y up)" 21 28)
  ("(y down)" 28 72)
  ("(y stable)" 72 79)
  ("(y up)" 79 86)
  ("(y stable)" 86 94)
 ))
(8
 (
  ("(x 1)" 3 9)
  ("(x 2)" 9 17)
  ("(x 3)" 17 21)
  ("(x 4)" 21 24)
  ("(x 5)" 24 29)
  ("(x 6)" 29 46)
  ("(x 5)" 46 49)
  ("(x 4)" 49 52)
  ("(x 3)" 52 55)
  ("(x 2)" 55 59)
  ("(x 1)" 59 69)
  ("(x down)" 4 38)
  ("(x stable)" 38 39)
  ("(x up)" 39 68)
  ("(x stable)" 68 69)
  ("(y 1)" 3 24)
  ("(y 2)" 24 32)
  ("(y 3)" 32 37)
  ("(y 4)" 37 41)
  ("(y 5)" 41 48)
  ("(y 6)" 48 69)
  ("(y up)" 4 9)
  ("(y stable)" 9 17)
  ("(y down)" 17 58)
  ("(y stable)" 58 59)
  ("(y up)" 59 66)
  ("(y stable)" 66 69)
 ))
(9
 (
  ("(x 2)" 3 20)
  ("(x 3)" 20 25)
  ("(x 4)" 25 29)
  ("(x 5)" 29 35)
  ("(x 6)" 35 53)
  ("(x 5)" 53 57)
  ("(x 4)" 57 59)
  ("(x 3)" 59 61)
  ("(x 2)" 61 64)
  ("(x 1)" 64 75)
  ("(x up)" 4 8)
  ("(x stable)" 8 12)
  ("(x down)" 12 45)
  ("(x stable)" 45 46)
  ("(x up)" 46 74)
  ("(x stable)" 74 75)
  ("(y 2)" 3 16)
  ("(y 1)" 16 28)
  ("(y 2)" 28 39)
  ("(y 3)" 39 44)
  ("(y 4)" 44 48)
  ("(y 5)" 48 53)
  ("(y 6)" 53 75)
  ("(y up)" 4 23)
  ("(y down)" 23 62)
  ("(y up)" 62 75)
 ))
(10
 (
  ("(x 1)" 3 6)
  ("(x 2)" 6 23)
  ("(x 3)" 23 29)
  ("(x 4)" 29 34)
  ("(x 5)" 34 41)
  ("(x 6)" 41 63)
  ("(x 5)" 63 70)
  ("(x 4)" 70 73)
  ("(x 3)" 73 76)
  ("(x 2)" 76 80)
  ("(x 1)" 80 93)
  ("(x stable)" 4 6)
  ("(x down)" 6 53)
  ("(x stable)" 53 54)
  ("(x up)" 54 93)
  ("(y 2)" 3 10)
  ("(y 1)" 10 34)
  ("(y 2)" 34 46)
  ("(y 3)" 46 52)
  ("(y 4)" 52 57)
  ("(y 5)" 57 63)
  ("(y 6)" 63 93)
  ("(y up)" 4 21)
  ("(y stable)" 21 27)
  ("(y down)" 27 76)
  ("(y stable)" 76 82)
  ("(y up)" 82 93)
 ))
(11
 (
  ("(x 2)" 3 8)
  ("(x 1)" 8 12)
  ("(x 2)" 12 24)
  ("(x 3)" 24 30)
  ("(x 4)" 30 36)
  ("(x 5)" 36 43)
  ("(x 6)" 43 64)
  ("(x 5)" 64 67)
  ("(x 4)" 67 69)
  ("(x 3)" 69 72)
  ("(x 2)" 72 78)
  ("(x 1)" 78 91)
  ("(x up)" 4 10)
  ("(x stable)" 10 11)
  ("(x down)" 11 55)
  ("(x stable)" 55 56)
  ("(x up)" 56 86)
  ("(x stable)" 86 91)
  ("(y 2)" 3 18)
  ("(y 1)" 18 39)
  ("(y 2)" 39 46)
  ("(y 3)" 46 51)
  ("(y 4)" 51 55)
  ("(y 5)" 55 61)
  ("(y 6)" 61 91)
  ("(y up)" 4 29)
  ("(y stable)" 29 33)
  ("(y down)" 33 72)
  ("(y stable)" 72 74)
  ("(y up)" 74 91)
 ))
(12
 (
  ("(x 2)" 3 13)
  ("(x 3)" 13 19)
  ("(x 4)" 19 24)
  ("(x 5)" 24 30)
  ("(x 6)" 30 49)
  ("(x 5)" 49 52)
  ("(x 4)" 52 55)
  ("(x 3)" 55 58)
  ("(x 2)" 58 62)
  ("(x 1)" 62 78)
  ("(x down)" 4 41)
  ("(x up)" 41 71)
  ("(x stable)" 71 78)
  ("(y 1)" 3 28)
  ("(y 2)" 28 35)
  ("(y 3)" 35 40)
  ("(y 4)" 40 44)
  ("(y 5)" 44 52)
  ("(y 6)" 52 78)
  ("(y up)" 4 13)
  ("(y stable)" 13 18)
  ("(y down)" 18 58)
  ("(y stable)" 58 60)
  ("(y up)" 60 70)
  ("(y stable)" 70 77)
  ("(y up)" 77 78)
 ))
(13
 (
  ("(x 1)" 3 4)
  ("(x 2)" 4 19)
  ("(x 3)" 19 24)
  ("(x 4)" 24 29)
  ("(x 5)" 29 37)
  ("(x 6)" 37 56)
  ("(x 5)" 56 60)
  ("(x 4)" 60 62)
  ("(x 3)" 62 65)
  ("(x 2)" 65 68)
  ("(x 1)" 68 81)
  ("(x down)" 4 48)
  ("(x up)" 48 80)
  ("(x stable)" 80 81)
  ("(y 2)" 3 20)
  ("(y 1)" 20 32)
  ("(y 2)" 32 43)
  ("(y 3)" 43 47)
  ("(y 4)" 47 51)
  ("(y 5)" 51 55)
  ("(y 6)" 55 81)
  ("(y up)" 4 22)
  ("(y stable)" 22 31)
  ("(y down)" 31 66)
  ("(y stable)" 66 67)
  ("(y up)" 67 81)
 ))
(14
 (
  ("(x 2)" 3 16)
  ("(x 3)" 16 23)
  ("(x 4)" 23 28)
  ("(x 5)" 28 36)
  ("(x 6)" 36 55)
  ("(x 5)" 55 59)
  ("(x 4)" 59 62)
  ("(x 3)" 62 64)
  ("(x 2)" 64 67)
  ("(x 1)" 67 82)
  ("(x down)" 4 46)
  ("(x stable)" 46 47)
  ("(x up)" 47 78)
  ("(x stable)" 78 79)
  ("(x down)" 79 82)
  ("(y 2)" 3 5)
  ("(y 1)" 5 31)
  ("(y 2)" 31 40)
  ("(y 3)" 40 45)
  ("(y 4)" 45 49)
  ("(y 5)" 49 54)
  ("(y 6)" 54 82)
  ("(y up)" 4 19)
  ("(y stable)" 19 23)
  ("(y down)" 23 63)
  ("(y stable)" 63 64)
  ("(y up)" 64 77)
  ("(y stable)" 77 82)
 ))
(15
 (
  ("(x 1)" 3 14)
  ("(x 2)" 14 21)
  ("(x 3)" 21 26)
  ("(x 4)" 26 31)
  ("(x 5)" 31 38)
  ("(x 6)" 38 59)
  ("(x 5)" 59 62)
  ("(x 4)" 62 64)
  ("(x 3)" 64 67)
  ("(x 2)" 67 72)
  ("(x 1)" 72 84)
  ("(x down)" 4 50)
  ("(x up)" 50 78)
  ("(x stable)" 78 84)
  ("(y 2)" 3 5)
  ("(y 1)" 5 32)
  ("(y 2)" 32 41)
  ("(y 3)" 41 45)
  ("(y 4)" 45 49)
  ("(y 5)" 49 55)
  ("(y 6)" 55 84)
  ("(y up)" 4 16)
  ("(y stable)" 16 26)
  ("(y down)" 26 64)
  ("(y stable)" 64 66)
  ("(y up)" 66 77)
  ("(y stable)" 77 84)
 ))
(16
 (
  ("(x 2)" 3 12)
  ("(x 3)" 12 19)
  ("(x 4)" 19 25)
  ("(x 5)" 25 32)
  ("(x 6)" 32 53)
  ("(x 5)" 53 57)
  ("(x 4)" 57 59)
  ("(x 3)" 59 61)
  ("(x 2)" 61 65)
  ("(x 1)" 65 85)
  ("(x down)" 4 45)
  ("(x stable)" 45 46)
  ("(x up)" 46 78)
  ("(x stable)" 78 85)
  ("(y 1)" 3 31)
  ("(y 2)" 31 39)
  ("(y 3)" 39 43)
  ("(y 4)" 43 47)
  ("(y 5)" 47 53)
  ("(y 6)" 53 75)
  ("(y 5)" 75 85)
  ("(y up)" 4 18)
  ("(y stable)" 18 19)
  ("(y down)" 19 61)
  ("(y stable)" 61 62)
  ("(y up)" 62 85)
 ))
(17
 (
  ("(x 1)" 3 6)
  ("(x 2)" 6 14)
  ("(x 3)" 14 18)
  ("(x 4)" 18 22)
  ("(x 5)" 22 30)
  ("(x 6)" 30 48)
  ("(x 5)" 48 53)
  ("(x 4)" 53 56)
  ("(x 3)" 56 59)
  ("(x 2)" 59 65)
  ("(x 1)" 65 78)
  ("(x down)" 4 41)
  ("(x up)" 41 78)
  ("(y 1)" 3 27)
  ("(y 2)" 27 34)
  ("(y 3)" 34 39)
  ("(y 4)" 39 43)
  ("(y 5)" 43 50)
  ("(y 6)" 50 71)
  ("(y 5)" 71 78)
  ("(y stable)" 4 17)
  ("(y down)" 17 58)
  ("(y stable)" 58 60)
  ("(y up)" 60 78)
 ))
(18
 (
  ("(x 2)" 3 13)
  ("(x 3)" 13 19)
  ("(x 4)" 19 25)
  ("(x 5)" 25 32)
  ("(x 6)" 32 53)
  ("(x 5)" 53 57)
  ("(x 4)" 57 60)
  ("(x 3)" 60 62)
  ("(x 2)" 62 66)
  ("(x 1)" 66 85)
  ("(x down)" 4 45)
  ("(x up)" 45 80)
  ("(x stable)" 80 81)
  ("(x down)" 81 85)
  ("(y 1)" 3 30)
  ("(y 2)" 30 39)
  ("(y 3)" 39 43)
  ("(y 4)" 43 47)
  ("(y 5)" 47 54)
  ("(y 6)" 54 77)
  ("(y 5)" 77 85)
  ("(y up)" 4 12)
  ("(y stable)" 12 21)
  ("(y down)" 21 62)
  ("(y stable)" 62 65)
  ("(y up)" 65 85)
 ))
(19
 (
  ("(x 2)" 3 12)
  ("(x 3)" 12 17)
  ("(x 4)" 17 21)
  ("(x 5)" 21 27)
  ("(x 6)" 27 46)
  ("(x 5)" 46 49)
  ("(x 4)" 49 52)
  ("(x 3)" 52 55)
  ("(x 2)" 55 59)
  ("(x 1)" 59 77)
  ("(x down)" 4 38)
  ("(x up)" 38 69)
  ("(x stable)" 69 77)
  ("(y 1)" 3 29)
  ("(y 2)" 29 35)
  ("(y 3)" 35 38)
  ("(y 4)" 38 42)
  ("(y 5)" 42 49)
  ("(y 6)" 49 77)
  ("(y up)" 4 18)
  ("(y stable)" 18 19)
  ("(y down)" 19 55)
  ("(y stable)" 55 58)
  ("(y up)" 58 68)
  ("(y stable)" 68 77)
 ))
(20
 (
  ("(x 1)" 3 4)
  ("(x 2)" 4 19)
  ("(x 3)" 19 24)
  ("(x 4)" 24 28)
  ("(x 5)" 28 34)
  ("(x 6)" 34 56)
  ("(x 5)" 56 61)
  ("(x 4)" 61 65)
  ("(x 3)" 65 68)
  ("(x 2)" 68 73)
  ("(x 1)" 73 90)
  ("(x down)" 4 47)
  ("(x up)" 47 87)
  ("(x stable)" 87 90)
  ("(y 2)" 3 6)
  ("(y 1)" 6 34)
  ("(y 2)" 34 42)
  ("(y 3)" 42 47)
  ("(y 4)" 47 51)
  ("(y 5)" 51 57)
  ("(y 6)" 57 89)
  ("(y 5)" 89 90)
  ("(y up)" 4 22)
  ("(y stable)" 22 26)
  ("(y down)" 26 66)
  ("(y stable)" 66 67)
  ("(y up)" 67 86)
  ("(y stable)" 86 87)
  ("(y up)" 87 90)
 ))
(21
 (
  ("(x 1)" 3 10)
  ("(x 2)" 10 18)
  ("(x 3)" 18 23)
  ("(x 4)" 23 27)
  ("(x 5)" 27 33)
  ("(x 6)" 33 56)
  ("(x 5)" 56 59)
  ("(x 4)" 59 62)
  ("(x 3)" 62 66)
  ("(x 2)" 66 75)
  ("(x 1)" 75 88)
  ("(x down)" 4 47)
  ("(x stable)" 47 48)
  ("(x up)" 48 88)
  ("(y 2)" 3 9)
  ("(y 1)" 9 34)
  ("(y 2)" 34 43)
  ("(y 3)" 43 47)
  ("(y 4)" 47 51)
  ("(y 5)" 51 57)
  ("(y 6)" 57 88)
  ("(y up)" 4 21)
  ("(y stable)" 21 24)
  ("(y down)" 24 67)
  ("(y stable)" 67 69)
  ("(y up)" 69 87)
  ("(y stable)" 87 88)
 ))
(22
 (
  ("(x 1)" 3 6)
  ("(x 2)" 6 14)
  ("(x 3)" 14 18)
  ("(x 4)" 18 22)
  ("(x 5)" 22 29)
  ("(x 6)" 29 48)
  ("(x 5)" 48 51)
  ("(x 4)" 51 54)
  ("(x 3)" 54 57)
  ("(x 2)" 57 63)
  ("(x 1)" 63 79)
  ("(x down)" 4 40)
  ("(x up)" 40 79)
  ("(y 1)" 3 29)
  ("(y 2)" 29 36)
  ("(y 3)" 36 41)
  ("(y 4)" 41 44)
  ("(y 5)" 44 49)
  ("(y 6)" 49 73)
  ("(y 5)" 73 79)
  ("(y up)" 4 16)
  ("(y stable)" 16 17)
  ("(y down)" 17 56)
  ("(y stable)" 56 58)
  ("(y up)" 58 79)
 ))
